Efficient Implementation of a Higher-Order Language with Built-In AD
نویسندگان
چکیده
We show that AD operators can be provided in a dynamic language without sacrificing numeric performance. To achieve this, general forward and reverse AD functions are added to a simple high-level dynamic language, and support for them is included in an aggressive optimizing compiler. Novel technical mechanisms are discussed, which have the ability to migrate the AD transformations from run-time to compile-time. The resulting system, although only a research prototype, exhibits startlingly good performance. In fact, despite the potential inefficiencies entailed by support of a functional-programming language and a first-class AD operator, performance is competitive with the fastest available preprocessor-based Fortran AD systems. On benchmarks involving nested use of the AD operators, it can even dramatically exceed their performance.
منابع مشابه
ارائه روشی پویا جهت پاسخ به پرسوجوهای پیوسته تجمّعی اقتضایی
Data Streams are infinite, fast, time-stamp data elements which are received explosively. Generally, these elements need to be processed in an online, real-time way. So, algorithms to process data streams and answer queries on these streams are mostly one-pass. The execution of such algorithms has some challenges such as memory limitation, scheduling, and accuracy of answers. They will be more ...
متن کاملThe relationship between task repetition and language proficiency
Task repetition is now considered as an important task-based implementation variable which can affect complexity, accuracy, and fluency of L2 speech. However, in order to move towards theorizing the role of task repetition in second language acquisition, it is necessary that individual variables be taken into account. The present study aimed to investigate the way task r...
متن کاملIntuitionistic fuzzy logic for adaptive energy efficient routing in mobile ad-hoc networks
In recent years, mobile ad-hoc networks have been used widely due to advances in wireless technology. These networks are formed in any environment that is needed without a fixed infrastructure or centralized management. Mobile ad-hoc networks have some characteristics and advantages such as wireless medium access, multi-hop routing, low cost development, dynamic topology and etc. In these netwo...
متن کاملImplementation of Agile Manufacturing Principles in Small and Medium Enterprises (SMES)
Modern manufacturing is under ever increasing pressure to develop solutions for highly complex tasks. In order to maintain the business survival in a highly competitive environment, it is vital to obtain customer satisfaction, which requires developing products with shorter lifecycles and higher quality meanwhile to reduce the production costs. In order to achieve such objectives a paradigm has...
متن کاملIssues with Language Policy and Planning in Iranian Higher Education
In this study, we attempt to bring to light various organisational and implementational clashes relevant to the conceptualisation of language policies at national level, and the planning of local practices with regard to degree programmes, language journals and conferences in Iranian higher education. We also prove that in its current status, the ELT syllabus in Iran, both at national and local...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1611.03416 شماره
صفحات -
تاریخ انتشار 2016